66.99/67.00	unsat
