68.30/71.24	unsat
