62.92/65.86	unsat
