5.87/6.70	unsat
