1100.83/1101.72	unsat
