40.96/62.94	unsat
