1.28/3.55	unsat
