7.18/12.55	unsat
