1192.79/1196.46	unsat
