2.17/5.40	unsat
