5.87/8.58	unsat
