65.66/66.21	unsat
