5.87/6.40	unsat
