65.20/65.47	unsat
