59.92/65.81	unsat
