57.18/58.03	unsat
