65.26/67.97	unsat
