67.01/67.48	unsat
