67.25/67.41	unsat
