190.34/192.67	unsat
