63.17/65.59	unsat
