63.41/65.89	unsat
