2.17/3.56	unsat
