2.64/6.55	unsat
