56.43/58.34	unsat
