60.39/61.03	unsat
