65.81/67.50	unsat
