6.27/10.55	unsat
