1192.89/1198.86	unsat
