1093.93/1099.67	unsat
