190.79/192.54	unsat
