5.17/7.55	unsat
