62.40/65.30	unsat
