703.60/709.03	unsat
