60.02/65.99	unsat
