762.44/766.59	unsat
