68.38/68.48	unsat
