67.89/67.98	unsat
