5.87/6.12	unsat
