665.03/665.59	unsat
