66.21/69.47	unsat
