1186.70/1192.19	unsat
