65.40/65.53	unsat
