266.06/266.43	unsat
