2.78/6.61	unsat
