192.09/192.28	unsat
