58.84/60.85	unsat
