1087.43/1092.41	unsat
