63.32/65.92	unsat
