66.21/66.41	unsat
