66.87/68.50	unsat
