67.07/67.28	unsat
