128.58/192.28	unsat
