5.57/7.14	unsat
