66.17/66.21	unsat
