63.59/65.47	unsat
