2.40/5.56	unsat
