1.56/6.12	unsat
