1089.19/1092.17	unsat
