66.21/66.44	unsat
