63.19/66.41	unsat
