1192.03/1194.38	unsat
