67.34/67.50	unsat
