63.59/65.99	unsat
