1100.46/1106.07	unsat
