2.90/6.40	unsat
