187.28/266.67	unsat
