0.69/2.39	unsat
